Tag #file system
139 papers:
ECOOP-2018-NtzikPSG #concurrent #specification- A Concurrent Specification of POSIX File Systems (GN, PdRP, JS, PG), p. 28.
VMCAI-2018-Najafzadeh0E #co-evolution #design #verification- Co-Design and Verification of an Available File System (MN, MS0, PE), pp. 358–381.
ASPLOS-2016-AmaniHCRCOBNLST #implementation #named #verification- CoGENT: Verifying High-Assurance File System Implementations (SA, AH, ZC, CR, PC, LO, JB, YN, JL, TS, JT, GK, TCM, GK, GH), pp. 175–188.
- ASPLOS-2016-BornholtKLKTW #modelling #specification
- Specifying and Checking File System Crash-Consistency Models (JB, AK, JL, AK, ET, XW0), pp. 83–98.
SEKE-2015-ChangB #object-oriented #optimisation- Optimizing of an Object-Oriented File System (OOFS) (LHC, SB), pp. 208–212.
OOPSLA-2015-NtzikG #reasoning- Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.
SAC-2015-InacioDBNM #operating system #parallel #parametricity #performance- Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.
- SAC-2015-LeeRH #memory management #performance
- Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.
SOSP-2015-ChenZCCKZ #hoare #logic #using- Using Crash Hoare logic for certifying the FSCQ file system (HC, DZ, TC, AC, MFK, NZ), pp. 18–37.
- SOSP-2015-MinKLSK #correctness #debugging #semantics
- Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
- SOSP-2015-RidgeSTGMS #named #specification #testing
- SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
- SOSP-2015-TsaiZRJZP #how
- How to get more value from your file system directory cache (CcT, YZ, JR, YJ, TZ, DEP), pp. 441–456.
CHI-2014-MasseyTTW #question #what- PIM and personality: what do our personal file systems say about us? (CM, ST, CT, SW), pp. 3695–3704.
- SAC-2014-LeeJB #design #memory management #named #similarity
- DTFS: exploiting the similarity of data versions to design a write-efficient file system in phase-change memory (EL, JEJ, HB), pp. 1535–1540.
OSDI-2014-LuZDAAA #physics- Physical Disentanglement in a Container-Based File System (LL, YZ, TD, SAK, ACAD, RHAD), pp. 81–96.
- OSDI-2014-PillaiCAAAA #complexity
- All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications (TSP, VC, RA, SAK, ACAD, RHAD), pp. 433–448.
PDP-2014-HuaWR #distributed #throughput- Enhancing Throughput of Hadoop Distributed File System for Interaction-Intensive Tasks (XH, HW, SR), pp. 508–511.
- PDP-2014-TsujitaYHSNI #parallel #performance #thread
- Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File System (YT, KY, AH, MS, MN, YI), pp. 232–235.
ESOP-2014-GardnerNW #reasoning- Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.
VLDB-2013-OvsiannikovRRSRK - A The Quantcast File System (MO, SR, DR, PS, SR, JK), pp. 1092–1101.
- SAC-2013-Oikawa #in memory #memory management
- Integrating memory management with a file system on a non-volatile main memory system (SO), pp. 1589–1594.
- ASPLOS-2013-SilbersteinFKW #named
- GPUfs: integrating a file system with GPUs (MS, BF, IK, EW), pp. 485–498.
HPDC-2013-RajachandrasekarMMP - A 1 PB/s file system to checkpoint three million MPI tasks (RR, AM, KM, DKP), pp. 143–154.
PLOS-2013-KellerMAOCRKH #exclamation #verification- File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.
- PLOS-2013-SunFBG #agile #automation #generative #tool support
- Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
- SOSP-2013-MashtizadehBHM #replication
- Replication, history, and grafting in the Ori file system (AJM, AB, YFH, DM), pp. 151–166.
- PDP-2012-Kunkel0 #architecture #functional #hardware #modelling #named #parallel #representation
- IOPm — Modeling the I/O Path with a Functional Representation of Parallel File System and Hardware Architecture (JMK, TL), pp. 554–561.
DAC-2011-HsuCHKD #reliability- A version-based strategy for reliability enhancement of flash file systems (PHH, YHC, PCH, TWK, DHCD), pp. 29–34.
- HPDC-2011-SongYCS #layout #parallel
- A cost-intelligent application-specific data layout scheme for parallel file systems (HS, YY, YC, XHS), pp. 37–48.
- PDP-2011-KassickBN #configuration management #parallel
- Dynamic I/O Reconfiguration for a NFS-Based Parallel File System (RK, FZB, POAN), pp. 11–18.
DocEng-2010-MullerRB - A file-type sensitive, auto-versioning file system (AM, SR, UMB), pp. 271–274.
- SAC-2010-HassanB #distributed #using
- Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.
- SAC-2010-RajgarhiaG #performance
- Performance and extension of user space file systems (AR, AG), pp. 206–213.
- SAC-2010-RyuLYS #clustering
- Flash-aware cluster allocation method based on filename extension for FAT file system (SR, CL, SY, SS), pp. 502–509.
- HPDC-2010-XuF #data transformation #framework #named
- GatorShare: a file system framework for high-throughput data management (JX, RJOF), pp. 776–786.
FM-2009-SchierlSHR #memory management #specification- Abstract Specification of the UBIFS File System for Flash Memory (AS, GS, DH, WR), pp. 190–206.
PLDI-2009-Rubio-GonzalezGLAA #analysis #fault- Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
- SAC-2009-DohLMKCLN #embedded #metadata #performance
- Impact of NVRAM write cache for file system metadata on I/O performance in embedded systems (IHD, HJL, YJM, EK, JC, DL, SHN), pp. 1658–1663.
DATE-2009-MylavarapuCSLG #named- FSAF: File system aware flash translation layer for NAND Flash Memories (SKM, SC, AS, JL, TG), pp. 399–404.
- HPDC-2009-DickensL #library #named #performance
- Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment (PMD, JL), pp. 31–38.
- VMCAI-2009-GallowayLMS #linux #model checking
- Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
- VLDB-2008-KwonBG #distributed #fault tolerance #using
- Fault-tolerant stream processing using a distributed, replicated file system (YK, MB, AGG), pp. 574–585.
KDD-2008-FormanR #classification #scalability- Scaling up text classification for large file systems (GF, SR), pp. 239–246.
- SEKE-2008-HittleG #fault #injection #testing #using
- Fault Injection Testing of User-space File Systems Using Traditional and Aspect-based Techniques (JH, SG), pp. 873–876.
- SAC-2008-LeeHCHS
- Secure deletion for NAND flash file system (JL, JH, YC, JH, SYS), pp. 1710–1714.
- SAC-2008-ParkLLP #architecture #hybrid #memory management #named #ram #scalability
- PFFS: a scalable flash memory file system for the hybrid architecture of phase-change RAM and NAND flash (YP, SHL, CL, KHP), pp. 1498–1503.
- SAC-2008-RochaO08a #agile #development #embedded
- An environment for the rapid development of embedded file systems (FRdlR, RSdO), pp. 694–699.
- HPDC-2008-XiaFJTW #approach #correlation #evaluation #mining #named #novel #optimisation #performance
- FARMER: a novel approach to file access correlation mining and evaluation reference model for optimizing peta-scale file system performance (PX, DF, HJ, LT, FW), pp. 185–196.
- OSDI-2008-AnandSKPAAAB
- Avoiding File System Micromanagement with Range Writes (AA, SS, AK, FIP, AA, ACAD, RHAD, SB), pp. 161–176.
- OSDI-2008-GunawiRAA #declarative #named
- SQCK: A Declarative File System Checker (HSG, AR, ACAD, RHAD), pp. 131–146.
- PDP-2008-BerguaCCSC #data transfer #grid #parallel
- Comparing Grid Data Transfer Technologies in the Expand Parallel File System (BB, FGC, AC, LMS, JC), pp. 110–114.
- SAC-2007-ChiangH #adaptation #performance
- Improving the performance of log-structured file systems with adaptive block rearrangement (MLC, JSH), pp. 1136–1140.
- SAC-2007-SongP
- Providing context-awareness to virtual file system (YS, DP), pp. 1199–1200.
- SAC-2007-UppuluriSJ #grid #named
- RemoteFS: accessing remote file systems for desktop grid computing (PU, SS, UJ), pp. 1203–1204.
- HPDC-2007-HildebrandH #named #parallel #scalability
- Direct-pNFS: scalable, transparent, and versatile access to parallel file systems (DH, PH), pp. 199–208.
- SOSP-2007-FrostMKRHMZ #dependence
- Generalized file system dependencies (CF, MM, EK, AdlR, SH, AM, LZ), pp. 307–320.
- SOSP-2007-GunawiPKAA #reliability
- Improving file system reliability with I/O shepherding (HSG, VP, SK, ACAD, RHAD), pp. 293–306.
MSR-2006-SigonneauR #automation #component #logic #multi #re-engineering- Software engineering applications of logic file system: application to automated multi-criteria indexation of software components (BS, OR), pp. 87–93.
ICSE-2006-PadioleauSR #information management #logic #named- LISFS: a logical information system as a file system (YP, BS, OR), pp. 803–806.
- SAC-2006-PisupatiB #framework #network
- File system framework for organizing sensor networks (BP, GB), pp. 935–936.
- SAC-2006-WuKC #memory management #performance
- Efficient initialization and crash recovery for log-based file systems over flash memory (CHW, TWK, LPC), pp. 896–900.
- HPDC-2006-LopesM #clustering #parallel
- Cooperative Caching in the pCFS parallel Cluster File System (PAL, PDM), pp. 347–348.
- OSDI-2006-DouceurH #distributed
- Distributed Directory Service in the Farsite File System (JRD, JH), pp. 321–334.
- OSDI-2006-WeilBMLM #distributed #named #scalability
- Ceph: A Scalable, High-Performance Distributed File System (SAW, SAB, ELM, DDEL, CM), pp. 307–320.
HT-2005-BhagwatP #semantics #using- Searching a file system using inferred semantic links (DB, NP), pp. 85–87.
- HPDC-2005-Wang #distributed #towards #version control #workflow
- Towards a workflow-aware distributed versioning file system for metacomputing systems (YW0), pp. 314–315.
- HPDC-2005-ZhaoCF #grid
- Supporting application-tailored grid file system sessions with WSRF-based services (MZ, VC, RJOF), pp. 24–33.
- PDP-2005-CalderonCCPS #fault tolerance #implementation #parallel #using
- A Fault Tolerant MPI-IO Implementation using the Expand Parallel File System (AC, FGC, JC, JMP, LMS), pp. 274–281.
- SOSP-2005-NightingaleCF #distributed #execution
- Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.
- SOSP-2005-PrabhakaranBAGAA
- IRON file systems (VP, LNB, NA, HSG, ACAD, RHAD), pp. 206–220.
- HPDC-2004-ZhaoZF #distributed #grid #virtual machine
- Distributed File System Support for Virtual Machines in Grid Computing (MZ, JZ, RJOF), pp. 202–211.
- OSDI-2004-NightingaleF #energy #flexibility
- Energy-Efficiency and Storage Flexibility in the Blue File System (EBN, JF), pp. 363–378.
- OSDI-2004-YangTEM #fault #model checking #using
- Using Model Checking to Find Serious File System Errors (JY, PT, DRE, MM), pp. 273–288.
- PDP-2003-GarciaCCPF #fault tolerance #parallel
- A Parallel and Fault Tolerant File System Based on NFS Servers (FG, AC, JC, JMP, JF), p. 83–?.
- SOSP-2003-GhemawatGL
- The Google file system (SG, HG, STL), pp. 29–43.
- SOSP-2003-KaminskySMK #authentication #distributed
- Decentralized user authentication in a global file system (MK, GS, DM, MFK), pp. 60–73.
SIGMOD-2002-BhattacharyaMBNHS #consistency #coordination #database- Coordinating backup/recovery and data consistency between database and file systems (SB, CM, KB, IN, HIH, MS), pp. 500–511.
- OSDI-2002-MuthitacharoenMGC #named #peer-to-peer
- Ivy: A Read/Write Peer-to-Peer File System (AM, RM, TMG, BC), pp. 31–44.
- OSDI-2002-SaitoKKM #replication
- Taming Aggressive Replication in the Pangaea Wide-Area File System (YS, CTK, MK, MM), pp. 15–30.
- HPDC-2001-FigueiredoKF #distributed #grid
- The PUNCH Virtual File System: Seamless Access to Decentralized Storage Services in a Computational Grid (RJOF, NHK, JABF), p. 334–?.
- SOSP-2001-MuthitacharoenCM #network
- A Low-Bandwidth Network File System (AM, BC, DM), pp. 174–187.
FSE-2000-YamamotoMI #cumulative #metric #version control- Accumulative versioning file system Moraine and its application to metrics environment MAME (TY, MM, KI), pp. 80–87.
- OSDI-2000-FuKM #distributed #performance
- Fast and Secure Distributed Read-Only File System (KF, MFK, DM), pp. 181–196.
CL-2000-FerreR #concept analysis- A File System Based on Concept Analysis (SF, OR), pp. 1033–1047.
ASE-1999-Pecheur #clustering #modelling #verification- Advanced Modelling and Verification Techniques Applied to a Cluster File System (CP), pp. 119–126.
- SAC-1999-HuizingaA #mobile
- Mobile File System Support with Virtual Device Drivers (DMH, CA), pp. 373–381.
- SAC-1999-SegarraA #mobile #named #using
- MFS: A Mobile File System Using Generic System Services (MTS, FA), pp. 419–420.
- OSDI-1999-GopalM
- Integrating Content-Based Access Mechanisms with Hierarchical File Systems (BG, UM), pp. 265–278.
- OSDI-1999-GronvallWP #design #distributed #multi
- The Design of a Multicast-Based Distributed File System (BG, AW, SP), pp. 251–264.
- OSDI-1999-HutchinsonMFHHKO #logic #physics
- Logical vs. Physical File System Backup (NCH, SM, MF, GH, DH, SK, SWO), pp. 239–249.
- OSDI-1999-WangAP #programmable
- Virtual Log Based File Systems for a Programmable Disk (RYW, TEA, DAP), pp. 29–43.
- SOSP-1999-MazieresKKW #security
- Separating key management from file system security (DM, MK, MFK, EW), pp. 124–139.
- SOSP-1999-SantryFHVCO
- Deciding when to forget in the Elephant file system (DSS, MJF, NCH, ACV, RWC, JO), pp. 110–123.
- SOSP-1999-Vogels
- File system usage in Windows NT 4.0 (WV), pp. 93–109.
CIKM-1997-LeeSWSKF #evaluation- Experimental Evaluation of PFS Continuous Media File System (WL, DS, DW, JS, DRKH, MF), pp. 246–253.
- PDP-1997-CarballeiraCPMA #distributed #parallel
- Cache coherence in parallel and distributed file systems (FGC, JC, FP, PdM, LA), pp. 60–65.
- SOSP-1997-NeefeWRCA #adaptation #performance
- Improving the Performance of Log-Structured File Systems with Adaptive Methods (JMN, DSR, AMC, RYW, TEA), pp. 238–251.
- SOSP-1997-ThekkathML #distributed #named #scalability
- Frangipani: A Scalable Distributed File System (CAT, TM, EKL), pp. 224–237.
- HPDC-1996-LigonR #distributed #implementation #parallel #performance
- Implementation and Performance of a Parallel File System for High Performance Distributed Applications (WBLI, RBR), pp. 471–480.
- SIGMOD-1995-Team95b #named
- SHORE: Combining the Best Features of OODBMS and File Systems, p. 486.
- SOSP-1995-AndersonDNPRW #network
- Serverless Network File Systems (TEA, MD, JMN, DAP, DSR, RYW), pp. 109–126.
- VLDB-1994-GehaniJR #database #interface #named #object-oriented
- OdeFS: A File System Interface to an Object-Oriented Database (NHG, HVJ, WDR), pp. 249–260.
- OOPSLA-1994-KarpovichGF #approach #object-oriented #performance
- Extensible File Systems (ELFS): An Object-Oriented Approach to High Performance File I/O (JFK, ASG, JCF), pp. 191–204.
- SEKE-1993-CheeEW #named #version control
- VCFS: A File System for Transparent Version Control (CLC, SSE, CKW), pp. 248–251.
SIGIR-1993-RoseMOPSW #implementation #interface- Content Awareness in a File System Interface: Implementing the “Pile” Metaphor for Organizing Information (DER, RM, TO, DBP, GS, YYW), pp. 260–269.
- HPDC-1993-BiswasRTK #analysis #distributed #performance
- Performance Analysis of Distributed File Systems with Non-Volatile Caches (PB, KKR, DFT, CMK), pp. 252–262.
- SOSP-1993-HartmanO #network
- The Zebra Striped Network File System (JHH, JKO), pp. 29–43.
- SOSP-1993-JongeKH #approach #logic
- The Logical Disk: A New Approach to Improving File Systems (WdJ, MFK, WCH), pp. 15–28.
- SOSP-1993-KhalidiN
- Extensible File Systems in Spring (YYAK, MNN), pp. 1–14.
- SOSP-WIP-1991-GuyHPP92
- The Ficus Replicated File System (RGG, JSH, TWPJ, GJP), p. 26.
- ASPLOS-1992-BakerADOS #memory management #performance #reliability
- Non-Volatile Memory for Fast, Reliable File Systems (MB, SA, ED, JKO, MIS), pp. 10–22.
- ASPLOS-1992-BurrowsJLM #online
- On-Line Data Compression in a Log-Structured File System (MB, CJ, BWL, TM), pp. 2–9.
IWMM-1992-HeckW #implementation- An Implementation of an Applicative File System (BCH, DSW), pp. 248–263.
- ASPLOS-1991-CateG #integration
- Integration of Compression and Caching for a Two-Level File System (VC, TRG), pp. 200–211.
- SOSP-1991-BakerHKSO #distributed #metric
- Measurements of a Distributed File System (MB, JHH, MDK, KS, JKO), pp. 198–212.
- SOSP-1991-GiffordJSO #semantics
- Semantic File Systems (DKG, PJ, MAS, JO), pp. 16–25.
- SOSP-1991-KistlerS
- Disconnected Operation in the Coda File System (JJK, MS), pp. 213–225.
- SOSP-1991-LiskovGGJSW #replication
- Replication in the Harp File System (BL, SG, RG, PJ, LS, MW), pp. 226–238.
- SOSP-1991-MullerP #design #multi #performance
- A High Performance Multi-Structured File System Design (KM, JP), pp. 56–67.
- SOSP-1991-RanganV #design #video
- Designing File Systems for Digital Video and Audio (PVR, HMV), pp. 81–94.
- SOSP-1991-RosenblumO #design #implementation
- The Design and Implementation of a Log-Structured File System (MR, JKO), pp. 1–15.
- VLDB-1990-SeltzerS #transaction
- Transaction Support in Read Optimizied and Write Optimized File Systems (MIS, MS), pp. 174–185.
- ECOOP-1989-MadanyCRL
- A Class Hierarchy for Building Stream-Oriented File Systems (PM, RHC, VFR, DEL), pp. 311–328.
- SOSP-1989-EdwardsM
- Exploiting Read-Mostly Workloads in The FileNet File System (DAE, MSM), pp. 58–70.
- SOSP-1987-Hagmann #commit #using
- Reimplementing the Cedar File System Using Logging and Group Commit (RBH), pp. 155–162.
- SOSP-1987-HowardKMNSSW #distributed #performance
- Scale and Performance in a Distributed File System (JHH, MLK, SGM, DAN, MS, RNS, MJW), pp. 1–2.
- SOSP-1987-NelsonWO #network
- Caching in the Sprite Network File System (MNN, BBW, JKO), pp. 3–4.
- DAC-1985-SmtihD #approach #independence
- The VIVID system approach to technology independence: the matster technology file system (PS, SWD), pp. 76–81.
- SOSP-1985-OusterhoutCHKKT #analysis
- A Trace-Driven Analysis of the UNIX 4.2 BSD File System (JKO, HDC, DH, JAK, MDK, JGT), pp. 15–24.
- SOSP-1985-SatyanarayananHNSSW #design #distributed
- The ITC Distributed File System: Principles and Design (MS, JHH, DAN, RNS, AZS, MJW), pp. 35–50.
- SOSP-1985-SchroederGN
- A Caching File System For a Programmer’s Workstation (MDS, DKG, RMN), pp. 25–34.
- SIGIR-1983-Somers #analysis #recommendation #user interface
- The User View of File Management: Recommendations for a User Interface Based in an Analysis of UNIX File System Use (PS), p. 161.
- SOSP-1983-ReidK #source code
- A File System Supporting Cooperation between Programs (LGR, PLK), pp. 20–19.
- SOSP-1981-FridrichO
- The Felix File System (MF, WJO), pp. 37–44.
- SOSP-1979-SwinehartMB #distributed #named
- WFS: A Simple Shared File System for a Distributed Environment (DCS, GM, DB), pp. 9–17.
- ICSE-1978-AlmesR
- An Extensible File System for Hydra (GTA, GGR), pp. 288–294.
- SOSP-1977-Powell
- The DEMOS File System (MLP), pp. 33–42.
- SIGIR-1971-WangL #design #evaluation #trade-off
- Quantitative Evaluation of Design Tradeoffs in File Systems (CPW, VYL), pp. 155–162.
- DAC-1967-BeretvasLT #automation #design
- A general purpose design automation file system (TB, CHL, LRT).
